fca67db090dc7e6476b98b800ce225c2bf60425c,src/jexer/TWindow.java,TWindow,onMouseMotion,#TMouseEvent#,634

Before Change


            }
            // Don't cover up the menu bar
            if (y < application.getDesktopTop()) {
                y = application.getDesktopTop();
            }

            // Keep within min/max bounds

After Change


            }
            // Don't cover up the menu bar
            if (getY() < application.getDesktopTop()) {
                setY(application.getDesktopTop());
            }

            // Keep within min/max bounds